Issue2348-instance-instance-same-name.agda:28,8-9
b != Wrap.out w of type B
when checking that the expression p has type
P (proj-like ⦃ A = _ ⦄ ⦃ A = w ⦄)
